Contextual Matching of Software Library Components
نویسنده
چکیده
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the programmer’s specified requirements against the stated capabilities of the components. We explain how the chances of successfully achieving a match can be increased by taking the program context surrounding each requirement into consideration. Formal rules, based on program refinement theory, are defined for context-based matching. The rules allow properties that can be proven to hold at a particular point in the program to justify matching with components that operate correctly only in such a context.
منابع مشابه
Specification matching of state-based modular components
Retrieval of software components from a library relies on techniques for matching user requirements against library component interfaces. In this paper we introduce a number of techniques for matching formally specified, statebased modules. These techniques will form the basis for retrieval tool support. The techniques described in this paper build on existing specification matching methods, ba...
متن کاملSpeci cation Matching for Software Reuse : A Foundation
Using formal speciications to represent software components facilitates the determination of reusability because they more precisely characterize the functionality of the software, and the well-deened syntax makes processing amenable to automation. We present speciica-tion matching as a method for classiication, retrieval, and modiication of reusable components. A software component is speciied...
متن کاملA Unifying Model for Retrieval from Reusable Software Libraries
The central problem associated with libraries of reusable software components is that of retrieval: how to nd in the library those components that can be used in the construction of a particular application. There have been three major proposed solutions to this problem: faceted (classiication), signature-matching (structural) and behavioural (functional) retrieval. The aim of this paper is to ...
متن کاملCOTS-Aware Requirements Engineering and Software Architecting
At the heart of a well-disciplined, systematic methodology that explicitly supports the use of COTS components is a clearly defined process for effectively using components that meet the needs of the system under development. In this paper, we present the CARE/SA approach which supports the iterative matching, ranking, and selection of COTS components, using a representation of COTS components ...
متن کاملVcr: a Vdm-based Software Component Retrieval Tool Vcr: a Vdm-based Software Component Retrieval Tool
We present a tool which allows implicit VDM speciications to be used as search keys for the retrieval of software components. A preprocessing phase utilizes signature matching to lter promising candidates out of a component library. The actual speciication matching phase builds proof obligations from the speciications of key and candidates and feeds them into a theorem prover. Validated obligat...
متن کامل